Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
921	Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-05 12:06:59 Deduction Logic Natural deduction Logic in computer science Lambda calculus Combinatory logic Mathematical logic Theoretical computer science Proof theory
922	CS 70 Spring 2005 Discrete Mathematics for CS Clancy/Wagner Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:43 Quantification Propositional calculus Education reform Homework Standards-based education Existential quantification FO Proposition Logic Mathematical logic Science
923	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-05-05 11:51:09 Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical logic
924	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
925	PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC Add to Reading List Source URL: www.pik-potsdam.de Language: English - Date: 2013-09-12 17:02:47 Parallel computing Classes of computers Algorithm Mathematical logic Theoretical computer science Distributed computing Computer cluster Super-recursive algorithm Computing Concurrent computing Computer programming
926	Jordan Journal of Mathematics and Statistics (JJMS) 8(1), 2015, ppA DECOMPOSITION OF PAIRWISE CONTINUITY K.M. ARIFMOHAMMED (1) Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2015-05-04 07:48:52 General topology Estimation theory Calculus Continuous function Entailment Interior Θ Parametric model Grassmann integral Logic Mathematical logic Mathematics
927	TM Traveling Circuits Lesson 3 MY ROBOTIC FRIENDS Add to Reading List Source URL: code.org Language: English - Date: 2014-12-02 16:12:57 Mathematical logic Stack Robot Subroutine Algorithm Computer programming Computing Software engineering
928	Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-03-27 09:24:14 Mathematical logic Predicate transformer semantics Logic Transformer Function Interpretation Data-flow analysis The Transformers Mathematics Formal methods Program logic
929	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
930	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2015-05-24 00:13:48 Distribution Functional analysis Dirac delta function Euler equations Siméon Denis Poisson Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis